Computer Aided Verification

Results: 34



#Item
11Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1

Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1

Add to Reading List

Source URL: www.cs.berkeley.edu

- Date: 2010-10-29 12:59:27
    12c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490. Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms

    c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490. Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms

    Add to Reading List

    Source URL: www.cs.berkeley.edu

    Language: English - Date: 2010-10-29 12:59:26
      13Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak

      Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak

      Add to Reading List

      Source URL: lara.epfl.ch

      Language: English - Date: 2014-09-27 12:22:24
      14IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

      Add to Reading List

      Source URL: www.eecs.berkeley.edu

      Language: English - Date: 2008-06-15 00:09:46
      15Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name :

      Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name :

      Add to Reading List

      Source URL: www-i2.informatik.rwth-aachen.de

      Language: English - Date: 2010-07-26 09:37:27
      16Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics

      Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics

      Add to Reading List

      Source URL: ti.tuwien.ac.at

      Language: English - Date: 2012-08-24 05:32:58
      17Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P

      Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2012-12-15 15:15:15
      18Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address:

      Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address:

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2012-12-15 15:15:28
      19Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005

      Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005

      Add to Reading List

      Source URL: vstte.ethz.ch

      Language: English - Date: 2005-07-29 10:40:50
      20Memorandum Date: June 13, 2013 From:

      Memorandum Date: June 13, 2013 From:

      Add to Reading List

      Source URL: www.fda.gov

      Language: English